<?php
  header("Content-type: text/javascript");
  echo(json_encode(new DateTime()));
?>
